Speci cation and Transformation of a Gas
نویسنده
چکیده
Document History This is the version of a gas burner that contains explicit timer events. In document OLD MS 7/1 a similar gasburner speciication without timers can be found. Document Purpose To show the Oldenburg part of a complete development (gas burner with timers)
منابع مشابه
A Comparison of Taxonomies for Model Transformation Languages
Since the introduction of the MDE/MDA/MDD ideas for software systems development several years ago, a number of di erent (meta)modeling and model transformation languages have been proposed. Although the OMG's QVT standard speci cation has somewhat stabilized the number of new model transformation languages, it is likely that new ones will continue to appear, following di erent paradigms and ap...
متن کاملIterative Development of Transformation Models by Using Classifying Terms
In this paper we propose an iterative process for the correct speci cation of model transformations, i.e., for developing correct transformation models. This permits checking the correctness of a model transformation speci cation before any implementation is available. The proposal is based on the use of classifying terms for partitioning the input space and for simplifying the testing process.
متن کاملSequential - System Factorization
The success of high-level synthesis methods in reducing design time and formal veri cation methods in reducing design errors in digital VLSI circuits have opened the way to system-level synthesis and veri cation. Derivation is a form of formal veri cation that deals with correct-by-construction reasoning. A set of equivalence preserving transformations are used to derive an implementation from ...
متن کاملA Metadata Based Approach to Improving Query Responsiveness
We describe a rule-based approach to semantic speci cation that can be used to dynamically establish semantic relevance between consumers' queries posed on the y and producers' data sources available online. The semantic speci cation of user queries is independent of the content and capabilities of the data sources (query-to-source independence). The semantic speci cation of the content and cap...
متن کاملPetri Nets for the Speci cation and Prototyping of Complex Information Systems ?
We present a Petri net based framework called G-Net for the modular design of complex information systems. The motivation of this framework is to integrate Petri net theory with a modular, objectoriented approach for the speci cation and prototyping of complex software systems. We use the client/server example to illustrate the G-Net speci cation of distributed systems, and how such a speci cat...
متن کامل